With the Foldviewer plugin activated:
When a block of code has been folded, and then the horizontal scroll slider is moved
to the right, moving the mouse over the new position of the tag representing folded
code, eg. "\[15 lines\]" does not work. The mouse has to be moved to the original
location of the tag before scrolling took place.
This is a bug because the old rollover spot, and the new spot after scrolling, can
be completely non-overlapping on the line.
Using Jedit 4.3Pre10, Java 1.6.0_01, foldviewer 1.0
-Ron
Submitted | ron_f - 2007-07-27 01:43:04 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |